non-identity operation

[计] “非全同”运算